Previous | 
Home
Section: Partnerships and Cooperations
International Initiatives
Inria Associate Teams
SCADA
Title: Safe Composition of Autonomic Distributed Applications
International Partner (Institution - Laboratory - Researcher):
See also: http://team.inria.fr/scada
The SCADA project aims at promoting the collaboration between NIC LABS (Santiago - Chile) and OASIS team (Inria Sophia Antipolis - France) in the domain of the safe composition of applications. More precisely the project will extend existing composition patterns dedicated to parallel or distributed computing to ease the reliable composition of applications. The strong interactions between formal aspects and practical implementation are a key feature of that projects, where formal methods, and language theory will contribute to the practical implementation of execution platforms, development and debugging tools, and verification environments. The composition models we focus on are algorithmic skeletons, and distributed components; and we will particularly focus on the programming and verification of non-functional features. Overall, from formal specification and proofs, this project should lead to the implementation of tools for the design and execution of distributed and parallel applications with a guaranteed behavior.
DAESD
Title: Distributed/Asynchronous, Embedded/synchronous System Development
International Partner (Institution - Laboratory - Researcher):
See also: http://team.inria.fr/DAESD
The development of concurrent and parallel systems has traditionally been clearly split in two different families; distributed and asynchronous systems on one hand, now growing very fast with the recent progress of the Internet towards large scale services and clouds; embedded, reactive, or hybrid systems on the other hand, mostly of synchronous behaviour. The frontier between these families has attracted less attention, but recent trends, e.g. in industrial systems, in “Cyber-Physical systems”, or in the emerging “Internet of Things”, give a new importance to research combining them.
The aim of the DAESD associate team is to combine the expertise of the Oasis and Aoste teams at Inria, the SEI-Shone team at ECNU-Shanghai, and to build models, methods, and prototype tools inheriting from synchronous and asynchronous models. We plan to address modelling formalisms and tools, for this combined model; to establish a method to analyze temporal and spatial consistency of embedded distributed real-time systems; to develop scheduling strategies for multiple tasks in embedded and distributed systems with mixed constraints.
Dissiminet
International Partner (Institution - Laboratory - Researcher):
See also: http://www.inria.fr/en/teams/dissiminet
This Franco-Canadian team will advance research on the definition of new algorithms and techniques for component-based simulation using a web-services based approach. On one hand, the use of web-services is expected to solve the critical issues that pave the way toward the simulation of systems of unprecedented complexity, especially (but not exclusively) in the studies involving large networks such as Peer-to-peer networks. Web-Service oriented approaches have numerous advantages, such as allowing the reuse of existing simulators, allowing non-computer experts to merge their respective knowledge, or seamless integration of complementary services (eg. on-line storage and repositories, weather forecast, traffic, etc.). One important expected outcome of this approach is to significantly enhance the simulation methodology in network studies, especially by enforcing the seamless reproducibility and traceability of simulation results. On the other hand, a net-centric approach of simulation based on web-services comes at the cost of added complexity and incurs new practices, both at the technical and methodological levels. The results of this common research will be integrated into both teams' discrete-event distributed simulators: the CD++ simulator at Carleton University and the simulation middle-ware developed in the MASCOTTE EPI, called OSA, whose developments are supported by an Inria ADT starting in December 2011.
Inria International Partners
Fit4Green (http://fit4green.eu ) is a FP7 project that aimed at creating an energy-aware layer of plug-in on top of the current data centres' management tools to orchestrate the placement of VMs with regards to energy-efficiency concerns. In 2012, the consortium decided to rely on Btrplace to compute the VM placement. Accordingly, Fabien Hermenier collaborated with them to integrate their work with BtrPlace.
Participation In International Programs
CIRIC Chili
Our activities with CIRIC have slowly been starting during this year, while CIRIC and Inria-Chile set-up their local organisations. We took the opportunity of our visit in July in Santiago de Chile (workshop if the SCADA associated Team), to discuss with Ciric, and to setup our plans. Later in November Tomas Barrós (PI on the Ciric side) visited us in Siophia-Antipolis, and we were able to pursue our plans.
The current state is that we have listed two chilean software companies, one in the area of telecommunications, the other in the area of banks, that have an interest in method for the development of safe large and complex applications. The role of Ciric in a first step is to set-up a first technical contact with these companies, discuss the use-cases, the common interests, and a preliminar workplan. The next step (in 2013) will involve the work of Ciric engineers on the case-study definition, and a longer visit of E. Madelaine (and possibly other Inria people) in Santiago to start concrete work on this line.